$\forall$$g$:OCMon, $a$, $b$, $c$:$\mid$$g$$\mid$. ($\uparrow$($a$ $\leq_{b}$ $b$)) $\Rightarrow$ ($\uparrow$($b$ $\leq_{b}$ $c$)) $\Rightarrow$ ($\uparrow$($a$ $\leq_{b}$ $c$))